PET scan and radioligand